widget: Remove gtk_widget_set_device_enabled()
authorBenjamin Otte <otte@redhat.com>
Mon, 13 Nov 2017 15:51:35 +0000 (16:51 +0100)
committerBenjamin Otte <otte@redhat.com>
Mon, 13 Nov 2017 22:41:37 +0000 (23:41 +0100)
commit9d56cee622bc7620317775787002b79a8a5d8ad6
treeac57452077f3a99fa3c9dda93f3db72c2fae47c5
parent5f73afae3d8d108d05619cce0426da06cd02f77f
widget: Remove gtk_widget_set_device_enabled()

Nobody is using it.
docs/reference/gtk/gtk4-sections.txt
gtk/gtkwidget.c
gtk/gtkwidget.h